package org.op.editor.doc;

/**
 *  For reloading of documents -- after a style change or wikiword change
 *  
 * @author david.peters
 *
 */
public interface DocumentReloadController {

	/**
	 *  Reloads the previous set of characters in the document (checking for new wikiwords)
	 */
	public void reloadCurrentLine();
	
	/**
	 *   Reloads the current document
	 */
	public void reloadCurrentDocument();
	
	/**
	 *   Reloads every document in the editor -- usually after a style (font) change
	 */
	public void reloadAllDocuments();
	
}
